Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
431	THE EPISTEMICS OF PRESUPPOSITION PROJECTION JAN VAN EIJCK AND CHRISTINA UNGER CWI (Amsterdam), Uil-OTS (Utrecht) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:18:04 Formal languages Model theory Modal logic Non-classical logic Philosophical logic Interpretation Presupposition Linear temporal logic Μ operator Logic Semantics Mathematical logic
432	pdf version of the entry Dynamic Semantics http://plato.stanford.edu/archives/fall2010/entries/dynamic-semantics/ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:14:07 Formal languages Model theory Logical syntax Philosophy of language Interpretation First-order logic Proposition Function Semantics Logic Mathematics Mathematical logic
433	Edward N. Zalta A Philosophical Conception of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:09:17 Philosophical logic Philosophy of language Logical syntax Proposition Entailment Interpretation Modal logic Function Formal semantics Logic Propositional calculus Semantics
434	First-Order, Curry-Typed Logic for Natural Language Semantics Chris Fox1 , Shalom Lappin2? , and Carl Pollard3 Add to Reading List Source URL: www.cs.haifa.ac.il Language: English - Date: 2002-07-01 08:11:22 Model theory Philosophy of language Formal languages Metalogic Interpretation First-order logic Lambda calculus Type theory Type system Logic Mathematical logic Mathematics
435	RESUME: Prof. Emeritus NISSIM FRANCEZ Former holder of Bank-Leumi chair in computer science May 12, 2014 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-05-12 04:09:39 Logic in computer science Quantification Formal sciences Donkey pronoun Pronouns Logic programming Semantics of programming languages Game semantics Amir Pnueli Mathematics Logic Theoretical computer science
436	Preface Mary Byram Washburn, Katherine McKinney-Bock, Erika Varis, Ann Sawyer, and Barbara Tomaszewicz Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:55 Semantics West Coast Conference on Formal Linguistics James Higginbotham Proceedings Knowledge Linguistics Academia Academic conferences
437	Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-23 04:26:27 Mathematics Programming language semantics Formal methods Formal sciences Denotational semantics Semantics of programming languages Programming language theory Axiomatic semantics Mathematical logic Theoretical computer science Logic in computer science Applied mathematics
438	I N S T I T U T I O N T H E O RY A N D A P P L I C AT I O N S ˘ Z VA N D I A C O N E S C U RA Add to Reading List Source URL: imar.ro Language: English - Date: 2014-05-21 03:45:34 Model theory Theoretical computer science Many-valued logic Institution Classical logic Universal logic Formal semantics First-order logic Alexander Grothendieck Logic Mathematics Mathematical logic
439	The Language of Social Software Abstract Computer software is written in languages like C, Java or Haskell. In many cases social software is expressed in natural language. The paper explores connections between the area Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:00 Mathematics Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Golden ratio Philosophy of mathematics Linear temporal logic Model theory Formal languages Logic
440	Montague’s “Linguistic” Work: Motivations, Trajectory, Attitudes Barbara Partee – University of Massachusetts, Amherst Abstract. The history of formal semantics is a history of evolving ideas about logical form, Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2013-04-05 15:18:49 Formal languages Philosophical logic Philosophy of language Grammar Montague grammar Richard Montague Intensional logic Formal semantics Symbol Logic Semantics Philosophy

UPDATE